Перевод: с английского на русский

с русского на английский

sequence-by-sequence verification

См. также в других словарях:

  • Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these …   Wikipedia

  • Choice sequence — In intuitionistic mathematics, a choice sequence is a constructive formulation of a sequence. Since the Intuitionistic school of mathematics, as formulated by L. E. J. Brouwer, rejects the idea of a completed infinity, in order to use a sequence… …   Wikipedia

  • Multilocus sequence typing — (MLST) is a technique in molecular biology for the typing of multiple loci. The procedure characterizes isolates of bacterial species using the DNA sequences of internal fragments of multiple housekeeping genes. Approximately 450 500 bp internal… …   Wikipedia

  • Message Sequence Chart — Example of a simple UML message sequence chart. A Message Sequence Chart (or MSC) is an interaction diagram from the SDL family very similar to UML s sequence diagram, standardized by the International Telecommunication Union. The main area of… …   Wikipedia

  • Intubation En Séquence Rapide — La technique d intubation en séquence rapide (ISR) a été définie par Walls[1] (Annals of Emergency Medicine, juillet 1996), elle consiste en « une série d’actions spécifiques destinées à obtenir de manière optimale et rapide une intubation… …   Wikipédia en Français

  • Intubation en sequence rapide — Intubation en séquence rapide La technique d intubation en séquence rapide (ISR) a été définie par Walls[1] (Annals of Emergency Medicine, juillet 1996), elle consiste en « une série d’actions spécifiques destinées à obtenir de manière… …   Wikipédia en Français

  • Intubation en séquence rapide — La technique d intubation en séquence rapide (ISR) a été définie par Walls[1] (Annals of Emergency Medicine, juillet 1996), elle consiste en « une série d’actions spécifiques destinées à obtenir de manière optimale et rapide une intubation… …   Wikipédia en Français

  • Open Verification Library — (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages (HDLs). OVL is currently maintained by Accellera. Applications OVL works by placing modules or components checking specific …   Wikipedia

  • HiRISE — The High Resolution Imaging Science Experiment camera is a camera on board the Mars Reconnaissance Orbiter. The 65 kg, $40 million (USD) instrument was built under the direction of the University of Arizona s Lunar and Planetary Laboratory by… …   Wikipedia

  • Dual Vee Model — The Dual Vee Model builds on the V Model to cleanly depict the complexity associated with designing and developing systems.[1][2][3] In systems engineering it defines a uniform procedure for product or project development. The model depicts… …   Wikipedia

  • SystemVerilog — In the semiconductor and electronic design industry, SystemVerilog is a combined Hardware Description Language and Hardware Verification Language based on extensions to Verilog. SystemVerilog was created by the donation of the Superlog language… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»